home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / sys / amiga / programmer / 7145 < prev    next >
Encoding:
Text File  |  1996-08-05  |  3.5 KB  |  76 lines
  1. Path: soap.news.pipex.net!pipex!usenet
  2. From: m.hendry@dial.pipex.com (Mathew Hendry)
  3. Newsgroups: comp.sys.amiga.programmer
  4. Subject: Re: 680X0 -> PPC translator?
  5. Date: Wed, 10 Apr 96 13:48:41
  6. Organization: Private node.
  7. Distribution: world
  8. Message-ID: <19960410.413918.CA24@aj158.du.pipex.com>
  9. References: <31499F8E.26A9@netvision.net.il> <volker.0fw1@vb.franken.de> <19960408.40F118.E8F9@an052.du.pipex.com> <316BD11F.69A7@netvision.net.il>
  10. NNTP-Posting-Host: aj158.du.pipex.com
  11. X-Newsreader: TIN [AMIGA 1.3 950726BETA PL0]
  12.  
  13. Jack (avilev@netvision.net.il) wrote:
  14. : Mathew Hendry wrote:
  15. : > 
  16. : > Jack (avilev@netvision.net.il) wrote:
  17. : > : Mans Engman wrote:
  18. : > : > Once you think a bit, it's easy to show (prove!) that static code<->data
  19. : > : > distinction can't be determined by an algorithm. It is what theorists call
  20. : > : > an "undecidable" problem. Granted, for a "real" computer with a finite amount
  21. : > : > of memory/indata it can be "solved" by brute-force search, but this is
  22. : > : > not a practical approach.
  23. : > :
  24. : > : many problems aren't solvable with today's technology, but it doesn't mean
  25. : > : they're not solvable with other yet-to-devised methods, now do they??
  26. : > 
  27. : > Some may be solved by new algorithms, but no finite number of algorithms can
  28. : > solve all problems. You surely can't be suggesting that your static translator
  29. : > will contain an infinite number of algorithms - or one infinitely large one.
  30. : > 
  31. : 
  32. : hell no, the algorithm is definitly not infinite otherwise i wouldn't suggest it
  33.  
  34. In that case, it can't work in all cases. There is an inherent indeterminacy
  35. between code and data which cannot be completely resolved by ANY algorithm
  36. which you may come up with. This can be proved using a variant of G÷del's
  37. theorem formulated by Alan Turing.
  38.  
  39. :                                  your claim is based on the fact that some thing have yet to find
  40. : their earthly solution, but not all secrets have been uncovered yet, the inability to solve something
  41. : doesn't make it impossible to solve, there's always some way or another to solve things even in the
  42. : most indirect and mysterious ways, you can't just claim they're impossible to solve just because you
  43. : still hav'nt found any workable solution.
  44.  
  45. Sorry, no matter how many "indirect and mysterious ways" you invent, the
  46. problem cannot be solved algorithmically for all cases. That is a mathematical
  47. truth.
  48.  
  49. : > In any case, we ARE talking about today's technology...
  50. : 
  51. : i'm also talking about today's technology.
  52.  
  53. Then you can't win.
  54.  
  55. : > By the way, what happens if your static translator tries to translate a
  56. : > program containing bugs? Presumably your algorithm is sophisticated enough to
  57. : > recognise bugs when it sees them? God help us if you throw AMosaic at it...
  58. : >
  59. : 
  60. : it's not trying to solve bugs, it'll translate a buggy program any day.
  61.  
  62. Great, try translating a program which in some circumstances attempts to
  63. execute some of its own data. You immediately have a problem - is that portion
  64. of the program code or is it data? You cannot decide, for sometimes it appears
  65. to be data, and sometimes it appears to be code. This indeterminacy remains
  66. even if the program contains no bugs, and remember, nearly all useful programs
  67. DO contain bugs.
  68.  
  69. You may choose to work around such problems by storing indeterminate program
  70. fragments in their original form in the translated binary. But these residual
  71. untranslated pieces will have to be handled on the fly when running the
  72. translated program. In that case, you no longer have a static translator -
  73. you have an emulator.
  74.  
  75. -- Mat.
  76.